Keep me out of the loop: a more flexible choreographic projection
نویسندگان
چکیده
Choreographic programming is a paradigm where programmers write global descrip- tions of distributed protocols, called choreographies, and correct implementations are au- tomatically generated by mechanism projection. Not all choreographies pro- jectable, because decisions made one process must be communicated to other processes whose behaviour depends on them – property known as knowledge choice. The standard formulation choice disallows protocols such third-party authentication with retries, two iteratively interact, wait notified at the end this loop. In work we show how can weakened, extending class projectable these interesting behaviours. whole development formalised in Coq. Working proof assistant was crucial our development, help it provided detecting counterintuitive edge cases that would otherwise have gone unnoticed.
منابع مشابه
Automated Agents that Proficiently Negotiate with People: Can We Keep People out of the Evaluation Loop
Research on automated negotiators has flourished in recent years. Among the important issues considered is how these automated negotiators can proficiently negotiate with people. To validate this, many experimentations with people are required. Nonetheless, conducting experiments with people is timely and costly, making the evaluation of these automated negotiators a very difficult process. Mor...
متن کاملThrow out the bathwater; keep the baby.
Health Programs paints a different picture. In a retrospective case control study, Paris and Canavan compared 32 anesthesiologists with 36 physician controls, and after an average follow-up of 7.5 yr, there was no difference in the relapse rates between these 2 groups. Likewise, the outcomes of residents did not differ from attending physicians. A similar report from Pelton involving 255 physic...
متن کاملthe effect of consciousness raising (c-r) on the reduction of translational errors: a case study
در دوره های آموزش ترجمه استادان بیشتر سعی دارند دانشجویان را با انواع متون آشنا سازند، درحالی که کمتر به خطاهای مکرر آنان در متن ترجمه شده می پردازند. اهمیت تحقیق حاضر مبنی بر ارتکاب مکرر خطاهای ترجمانی حتی بعد از گذراندن دوره های تخصصی ترجمه از سوی دانشجویان است. هدف از آن تاکید بر خطاهای رایج میان دانشجویان مترجمی و کاهش این خطاها با افزایش آگاهی و هوشیاری دانشجویان از بروز آنها است.از آنجا ک...
15 صفحه اولwuthering heights and the concept of marality/a sociological study of the novel
to discuss my point, i have collected quite a number of articles, anthologies, and books about "wuthering heights" applying various ideas and theories to this fantastic story. hence, i have come to believe that gadamer and jauss are rightful when they claim that "the individaul human mind is the center and origin of all meaning," 3 that reading literature is a reader-oriented activity, that it ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: EPiC series in computing
سال: 2023
ISSN: ['2398-7340']
DOI: https://doi.org/10.29007/wbw3